首页> 外文OA文献 >Checking RTECTL properties of STSs via SMT-based Bounded Model Checking

【2h】

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking

机译：通过基于smT的有界模型检验检查sTs的RTECTL属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Agnieszka Zbrzezny; Andrzej Zbrzezny;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking [J] . Agnieszka M. Zbrzezny, Andrzej Zbrzezny OASIcs : OpenAccess Series in Informatics . 2015,第1期

机译：通过基于SMT的有界模型检查来检查TRWIS的WECTLK属性
2. SMT-based context-bounded model checking for CUDA programs [J] . Phillipe Pereira1, Higo Albuquerque, Isabela da Silva, Concurrency, practice and experience . 2017,第22期

机译：CUDA程序的基于SMT的上下文绑定模型检查
3. Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler [J] . Haitao Zhang, Guoqiang Li, Daniel Sun, Journal of systems architecture . 2017,第期

机译：验证合作软件：基于SMT的界限模型检查方法，用于确定性调度程序
4. Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking [C] . Agnieszka M. Zbrzezny, Andrzej Zbrzezny Portuguese conference on artificial intelligence . 2015

机译：通过基于SMT的有界模型检查来检查定时重加权解释系统的WECTLK属性
5. Unbounded-2-bounded: A two-phase approximation for model checking unbounded until properties of probabilistic system. [D] . Jennings, Paul. 2011

机译：Unbounded-2-bounded：两阶段近似，用于模型检查无穷大直到概率系统的性质。
6. Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior With Prior Knowledge of Biological Networks [O] . Hooman Sedghamiz, Matthew Morris, Travis J. A Craddock, 2019

机译：Bio-ModelChecker：使用有限约束满意度将观察到的行为与生物网络的先验知识无缝整合
7. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking [O] . Zbrzezny Agnieszka M., Zbrzezny Andrzej 2015

机译：通过基于smT的有界模型检验检查TRWIs的WECTLK属性
8. Scalable and Accurate SMT-Based Model Checking of Data Flow Systems. [R] . Barrett, C., Deters, M. 2013

机译：可扩展且准确的基于smT的数据流系统模型检测。

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅